Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
851	Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models Vincent Danos3 , Jérôme Feret4 , Walter Fontana5 , Russell Harmer1 , Jonathan Hayman4,2 , Jean Krivine1 , Chris Thompson-Walsh2 , and Glynn Winskel2 1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-10-23 07:23:09 Graph rewriting Formal languages Rewriting Graph Matching Theoretical computer science Mathematics Graph theory
852	FREE WILL—EVEN FOR ROBOTS John McCarthy Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:13:58 Finite-state machine Nondeterministic finite automaton Computer chess Robot Chess Ω-automaton Automata theory Models of computation Games
853	A User’s Guide to Proving Programs Correct with the Sunrise Verification System version 7.3 Peter Vincent Homeier Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-02-11 11:40:50 Formal methods Logic in computer science Archive formats Automated theorem proving Gzip Formal verification HOL Tar Theorem Proving in Higher-Order Logics Theoretical computer science Software Applied mathematics
854	IIAS E - JOURNAL IIAS International Journal Volume 1 - NoPreface Add to Reading List Source URL: www.iias.edu Language: English - Date: 2011-10-12 14:22:21 Systems International Institute for Advanced Studies in Systems Research and Cybernetics Knowledge Nature Ayten Aydın Formal sciences Systems theory International Institute for Asian Studies Science Cybernetics Control theory
855	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: ftp.sunet.se Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
856	Using adaptor grammars to identify synergies in the unsupervised acquisition of linguistic structure Mark Johnson Brown University Mark Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-15 03:19:37 Grammar Compiler construction Statistical natural language processing Corpus linguistics Stochastic context-free grammar Context-free grammar N-gram Parsing Formal grammar Linguistics Formal languages Science
857	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.csiro.au Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
858	A Spider User’s Guide Norman Ramsey Department of Computer Science Princeton University July 1989 Add to Reading List Source URL: www.literateprogramming.com Language: English - Date: 2007-10-09 02:25:39 Compiler construction Parsing Formal languages Scripting languages Lexical analysis Programming language implementation WEB TeX Tokenization Computing Software engineering Software
859	ERCIM WG Kick-off meeting and CFE07 P ROGRAMME AND Add to Reading List Source URL: www.csdassn.org Language: English - Date: 2007-04-11 07:26:09 Formal sciences Scientific method Mathematical sciences Computational statistics numerical analysis Econometrics International Association for Statistical Computing Statistics Bioinformatics Science Knowledge Information
860	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: mirror.fcaglp.unlp.edu.ar Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software

UPDATE